temporal operator meaning in English
时间算子
Examples
- Temporal rover includes all of the temporal operators as well as others designed for discussing events that occurred in the past
Temporal rover包括所有时态操作符以及为讨论过去发生的事件而设计的其它操作符。 - They have proved to be useful for specifying concurrent systems , since they can describe the ordering of events in time without introducing time explicitly . in ctl * formulas are composed of path quantifiers and temporal operators
和基于模拟、测试和演绎推理问题的传统方法相比较,有着许多的优点,也已经成功地实践于检验复杂的时序电路设计和通讯协议。 - Studying time ' s basic attributes in detail , a time model is made at first in this context . in addition , the temporal interval and time point are analyzed and their temporal relations are described with the temporal operators
文中首先通过研究时间的基本属性，确定表达时间的模型；进而分析时态区间和时间点并描述两者间时态关系，并引入时态算子描述这些关系。 - There are two quantifiers a ( for all computation paths ) and e ( for some computation path ) in path quantifiers ; and in temporal operators , there are five basic operators x ( next time ) , f ( eventually ) , g ( always ) , u ( until ) and r ( release ) . ctl * has two types of formulas : state formulas ( which are true in a specific state ) and path formulas ( which are true along a specific path ) ; and two useful sublogics : branching - time logic ctl and linear - time logic ltl . the distinction between the two is how they
本文首先介绍了模型检测的一些基本概念和理论,然后介绍了与其密切相关的、在检验中用于描述系统属性的时序逻辑,及实现模型检测问题的方法,在基于上述关于概念、理论的基础上,研究了诊断系统可诊断性的检验方法,说明了一个给定设备的诊断条件被破坏时当且仅当有临界对的出现,并定义了设备的耦合孪生模型,说明如何用它来寻找临界对,最后使用模型检测框架来构造这个问题,把耦合孪生模型化简为模型检测问题。